Readings on Verification and Synthesis

Professors:Giuseppe De Giacomo
Credits:2.5
Range:B
Note:

Full description

The description will be here as soon as possible

Latest News

Random Student

Riccardo Colini Baldeschi
Mechanism Design, Algorithmic Game Theory
Full profile

Apply for a doctoral position

Click here to submit a candidature to becom PhD student.